|
|
Testing Software and Systems
by Yenigün, Hüsnü.
Publication:
. XIV, 291 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Pecheur, Charles.
Publication:
. XIV, 199 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Sharygina, Natasha.
Publication:
. XXII, 1015 p. 237 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reliable Software Technologies – Ada-Europe 2013
by Keller, Hubert B.
Publication:
. XII, 177 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamental Approaches to Software Engineering
by Cortellessa, Vittorio.
Publication:
. XX, 376 p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Software and Systems
by Nielsen, Brian.
Publication:
. X, 263 p. 97 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Stoelinga, Mariëlle.
Publication:
. XIV, 223 p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Madhusudan, P.
Publication:
. XVI, 789p. 192 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Salaün, Gwen.
Publication:
. X, 261 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
System Analysis and Modeling: About Models
by Kraemer, Frank Alexander.
Publication:
. X, 257p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Kowalewski, Stefan.
Publication:
. XII, 231p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evolvable Systems: From Biology to Hardware
by Tempesti, Gianluca.
Publication:
. XII, 394p. 228 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|